(wait_reading_process_output): Check for window changes caused by timers.
authorChong Yidong <cyd@stupidchicken.com>
Wed, 27 Feb 2008 15:07:14 +0000 (15:07 +0000)
committerChong Yidong <cyd@stupidchicken.com>
Wed, 27 Feb 2008 15:07:14 +0000 (15:07 +0000)
commit5b29a97f9fd53aeeb1411c358138eda1669b20bc
treea338ab482d56f948533c215dec039d978e11bb85
parentcc4987dbdb0657dd5f85a8cb70d2dfbe2998b185
(wait_reading_process_output): Check for window changes caused by timers.
Suggested by Johan Bockgård.
src/process.c